7 de 7
-
-
Especificación, derivación y análisis de ...
Martí Oliet, Narciso
[2006]
Pearson Prentice Hall
Libro -
-
-
-
Sobre dos lógicas categóricas: lógica lineal y ...
Martí Oliet, Narciso
[2001]
Universidad Complutense de Madrid
Libro -
Estructuras de datos y métodos algorítmicos ...
Martí Oliet, Narciso
[2003]
Pearson Prentice Hall
Libro